Extending a Functional DBPL with ECA-rules
نویسندگان
چکیده
We describe how a functional database programming language can be extended with transactions and ECA-rules. Fundamental requirements of such an extension are that the declarative semantics of the language not be compromised, that the syntax of the language not be disrupted unduly, and that impedance mismatch problems be avoided. We deene what we mean by events, conditions and actions and describe the semantics of ECA-rules with reference to event detection, parameter-binding, transaction scheduling and abort handling. We deene the execution semantics for the ECA System in the language itself. These semantics form the basis of our implementation of the ECA System.
منابع مشابه
An Agent-Based Approach to Extending the Native Active Capability of Relational Database Systems
Event-condition-action (or ECA) rules are used to capture active capability. While a number of research prototypes of active database systems have been built, ECA rule capability in Relational DBMSs is still very limited. In this paper, we address the problem of turning a traditional database management system into a full-fledged active database system without changing the underlying system. Th...
متن کاملECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics
An important problem to be addressed within Event-Driven Architecture (EDA) is how to correctly and efficiently capture and process the event/action-based logic. This paper endeavors to bridge the gap between the Knowledge Representation (KR) approaches based on durable events/actions and such formalisms as event calculus, on one hand, and event-condition-action (ECA) reaction rules extending t...
متن کاملExternal COMSEC Adaptor Software Engineering Methodology
Approved for public release; distribution unlimited.ABSTRACT The External COMSEC Adaptor (ECA) is a device responsible for providing cryptographic protection of information based on rules that (possibly coarsely) define the sensitivity of that information. The ECA is trusted to satisfy a set of critical requirements that support data confidentiality in the network in which it is embedded. Ensur...
متن کاملEnhancing ECA Rules for Distributed Active Database Systems
ECA (event/condition/action) rules have been developed for central active database systems. In distributed active database systems the problem of inaccessibility of partial systems raises and thus the undecidability of ECA conditions referring to remote systems. This work proposes an enhancement of ECA rules for distributed active database systems to react also in the case of inaccessibility an...
متن کاملFuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules
Knowledge systems are characterized by being active, uncertain and adaptive in pervasive computing environments, and Fuzzy Event-Condition-Action (ECA) rules can effectively describe these features of knowledge systems. To analyze the static structure and dynamic behavior of fuzzy ECA rules, a fuzzy colored time Petri net model (FCTPN) is proposed. The FCTPN is able to model the fuzzy ECA rules...
متن کامل